@@
statement S;
@@

+blah();
S
